Definable Davies’ Theorem
نویسندگان
چکیده
We prove the following descriptive set-theoretic analogue of a Theorem of R.O. Davies: Every Σ2 function f : R× R → R can be represented as a sum of rectangular Σ2 functions if and only if all reals are constructible.
منابع مشابه
Truth Values and Connectives in Some Non-Classical Logics
The question as to whether the propositional logic of Heyting, which was a formalization of Brouwer's intuitionistic logic, is finitely many valued or not, was open for a while (the question was asked by Hahn). Kurt Gödel (1932) introduced an infinite decreasing chain of intermediate logics, which are known nowadays as Gödel logics, for showing that the intuitionistic logic is not finitely (man...
متن کاملA Definable -adic Analogue of Kirszbraun’s Theorem on Extensions of Lipschitz Maps
A direct application of Zorn’s lemma gives that every Lipschitz map f : X ⊂ Qp → Qp has an extension to a Lipschitz map f̃ : Qp → Qp . This is analogous to, but easier than, Kirszbraun’s theorem about the existence of Lipschitz extensions of Lipschitz maps S ⊂ Rn → R`. Recently, Fischer and Aschenbrenner obtained a definable version of Kirszbraun’s theorem. In this paper, we prove in the p-adic ...
متن کاملThe so-called Stabilizer Theorem
Theorem 1.1 (Hrushovski’s Theorem 3.5). Let G be a definable group, X a definable subset, and G̃ be the ∨-definable group generated by X. Suppose all this data is defined over a model M . Suppose μ is an M-invariant translation-invariant ideal on subsets of G̃. Let q be a wide type over M , contained in G̃. Identify q with its ∧-definable set of realizations. Suppose (F) there exist two realizatio...
متن کاملAn approximate Herbrand's theorem and definable functions in metric structures
We develop a version of Herbrand’s theorem for continuous logic and use it to prove that definable functions in infinite-dimensional Hilbert spaces are piecewise approximable by affine functions. We obtain similar results for definable functions in Hilbert spaces expanded by a group of generic unitary operators and Hilbert spaces expanded by a generic subspace. We also show how Herbrand’s theor...
متن کاملA definable Borsuk-Ulam type theorem
Let N = (R,+, ·, <, . . . ) be an o-minimal expansion of the standard structure of a real closed field R. A definably compact definable group G is a definable Borsuk-Ulam group if there exists an isovariant definable map f : V → W between representations of G, then dimV − dimV G ≤ dimW − dimW. We prove that if a finite group G satisfies the prime condition, then G is a definable Borsuk-Ulam gro...
متن کامل